منابع مشابه
Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG
For efficiency reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications, and also to perform dependability analyses. AADL (Architecture Analysis and Design Language) has proved its capacity for architectural modeling. This paper presents a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, t...
متن کاملVariations sur le théorème de Cassels, Ellison et Pfister
Artin [Ar] (1927) : Une fraction rationnelle f ∈ R(X1, . . . , Xn) positive sur R est une somme de carrés. Pfister [Pf] (1967) : c’est une somme de 2 carrés. En particulier pour n = 2, f ∈ 4 R(X,Y ). Cassels, Ellison, Pfister [CEP] (1971) : 4 carrés sont vraiment nécéssaires (i.e. le nombre de Pythagore de R(X, Y ) est 4, car le polynôme de Motzkin 1 + XY 4 + XY 2 − 3XY , positif ou nul, ne s’é...
متن کاملVariations sur un THème de Aldama et Shelah
We study the definability of certain subgroups of a group G that does not have the independence property. If a (type) definable subset X of an elementary extension G of G has property P , we call its trace X∩G over G an externally (type) definable P set. We show the following. Centralisers of subsets of G are externally definable subgroups. Cores of externally definable subgroups and iterated c...
متن کاملLangage naturel et intelligence artificielle
This paper presents an overall assessment of the whole range of research activities devoted to Natural-Language Processing within the field of Artificial Intelligence (AI). After a quick survey of the social and economic conditions of research, the paper addresses itself to : i) the influence of language theories on AI research : neuropsychology, psychocognitive sciences, transformational gramm...
متن کاملAlgèbre OLAP et langage graphique
This article deals with OLAP systems based on multidimensional model. The conceptual model we provide, represents data through a constellation (multi-facts) composed of several multi-hierarchy dimensions. In this model, data are displayed through multidimensional tables. We define a query algebra handling these tables. This user oriented algebra is composed of a closure core of OLAP operators a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linx
سال: 1996
ISSN: 0246-8743,2118-9692
DOI: 10.4000/linx.1094